Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
211	Partial Functions Approaches An Introduction to the Logic of Partial Functions Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Semantics Model theory Boolean algebra Formal methods Computability theory Interpretation Truth table First-order logic Vienna Development Method Mathematical logic Mathematics Logic
212	A UTP semantics for Circus Marcel Oliveira1 , Ana Cavalcanti2 , and Jim Woodcock2 1 Departamento 2 Department de Inform´ Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Logic in computer science Programming language semantics Process calculi Process calculus Denotational semantics Divergence Formal methods Ease Trace Computing Theoretical computer science Software engineering
213	Horn Clause Contraction Functions: Belief Set and Belief Base Approaches James P. Delgrande Renata Wassermann School of Computing Science, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 11:59:33 Logic Formal languages Functions and mappings Interpretation Philosophy of mind Semantics Symbol Contraction Constructible universe Mathematics Mathematical logic Model theory
214	Belief Revision with Sensing and Fallible Actions James P. Delgrande Hector J. Levesque School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:46:26 Formal languages Mathematical logic Interpretation Philosophy of language Philosophy of mind Semantics Action description language Function Mathematics Logic Model theory
215	Formal Specification— Z Notation— Syntax, Type and Semantics Consensus Working Draft 2.6 August 24, 2000 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2000-11-02 18:08:54 Software engineering Compiler construction Extended Backus–Naur Form Mathematical notation Universal Character Set Z notation SQL Metalanguage International Organization for Standardization Computing Notation Standards organizations
216	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-08-12 12:15:34 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
217	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics
218	doi: Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:54 Formal languages Lisp programming language Dichotomies Literal and figurative language Regular expression Expression Idiom Type system Representation Literature Fiction Semantics
219	Modular Ontologies - A Formal Investigation Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-05 15:40:28 Semantic Web Knowledge representation Knowledge engineering Knowledge Technical communication Ontology Web Ontology Language Description logic Semantics Information Science Information science
220	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science

UPDATE